科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有体系结构意识的部分订单减少,可加快网络程序的模型检查
Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe;
机译:通过部分模型检查来加快覆盖范围估计
机译:使用标记的过渡系统和Boole等式系统的网络进行部分模型检查
机译:最大因果减少的无状态模型检查并发程序
机译:体系结构感知部分顺序减少,以加速网络化程序的模型检查
机译:在FPGA上加速显式状态模型检查:PHAST。
机译:将模型与测得的死亡率降低进行比较:将挽救生命工具应用于西非加速儿童生存计划的评估数据
机译:具有部分顺序状态空间缩减功能的即时模型检查
机译:具有部分阶状态空间缩减的实时模型检查
机译:使用偏序和即时交易的并发程序符号模型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。